home *** CD-ROM | disk | FTP | other *** search
/ PC Pro 2006 April / DPPRO0406DVD.ISO / Essentials / Programming / Eclipse SDK / eclipse-SDK-3.1.1-win32.exe / eclipse / plugins / org.eclipse.ui.ide_3.1.1.jar / .options next >
Encoding:
Text File  |  2005-09-29  |  364 b   |  11 lines
  1. # Debugging options for the org.eclipse.ui.ide plugin.
  2.  
  3. # Turn on debugging for the org.eclipse.ui plugin.
  4. org.eclipse.ui.ide/debug=false
  5.  
  6. # Show a dialog with details button when an internal error occur.
  7. org.eclipse.ui.ide/debug/internalerror/openDialog=false
  8.  
  9. # Verbose information when IDE performs explicit garbage collection
  10. org.eclipse.ui.ide/debug/gc=false
  11.